(declare-fun st2 () (Set Int))
(declare-fun st4 () (Set Int))
(declare-fun i10 () Int)
(assert (is_singleton (complement (complement st4))))
(assert (> 4293 i10 (card st2) 87))
(check-sat)
